Andreas Abel is a Senior Lecturer in the Programming Logic Group, Divison of Computer Science, Department of Computer Science and Engineering at Gothenburg University/Chalmers, a Senior Developer of the dependently-typed language Agda, and the Maintainer of the Backus–Naur-Form Compiler (BNFC).
Introducing the programming language Cubical Agda implementing univalent cubical homotopy type theory with higher inductive types:
Last revised on December 26, 2022 at 22:57:27. See the history of this page for a list of all contributions to it.